#!/bin/sh
docker stop jetty
docker rm jetty
